Hardware description languages - PDFSEARCH.IO - Document Search Engine

Hardware description languages
Results: 365

#	Item
101	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) VeriTech - A Framework for Translating among Model Description Notations Orna Grumberg and Shmuel Katz Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2005-11-29 05:50:59 Electronic engineering Formal methods Predicate logic Hardware description languages Construction and Analysis of Distributed Processes Formal verification State transition system Model checking Petri net Models of computation Theoretical computer science Concurrency
102	A Generic FMU Interface for Modelica Wuzhu Chen1 Michaela Huhn1 Peter Fritzson2 Add to Reading List Source URL: www.ep.liu.se Language: English - Date: 2011-11-02 11:05:36 Object-oriented programming Computing Hardware description languages Functional Mock-up Interface Scientific modeling Modelica Dymola JModelica.org SimulationX Simulation software Application software Software engineering
103	Programming Many-core Systems with Embedded Domain Specific Languages Satnam Singh Add to Reading List Source URL: ulf.wiger.net Language: English - Date: 2008-02-20 06:04:57 Programming language theory VHDL Verilog Domain-specific language Haskell Field-programmable gate array Hardware description languages Software engineering Computing
104	Datasheet Synphony C Compiler High-Level Synthesis from C/C++ to RTL Overview Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2014-11-07 14:31:02 High-level synthesis Logic synthesis SystemVerilog Synopsys Verilog Clock gating Field-programmable gate array Catapult C Compiler Electronic engineering Electronic design automation Hardware description languages
105	Lucid Synchrone Release, version 3.0 Tutorial and Reference Manual Marc Pouzet April 2006 Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2010-08-22 09:49:20 Functional languages Procedural programming languages Formal methods Hardware description languages Synchronous programming languages Caml SIGNAL Lustre ML Computing Software engineering Computer programming
106	Datasheet Formality and Formality Ultra Equivalence Checking for DC Ultra and Design Compiler Graphical Overview Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-02-18 15:15:30 Formal methods Physical design SystemVerilog Synopsys Formal verification Verilog Formal equivalence checking Signoff Electronic engineering Electronic design automation Hardware description languages
107	An Overview of Synchronous Languages Olivier Hermant CRI, MINES ParisTech 13 Octobre 2014 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-23 09:47:54 Logic in computer science Formal methods Actor model Hardware description languages Synchronous programming languages Denotational semantics Clock Lustre Futures and promises Theoretical computer science Computing Software engineering
108	Datasheet VCS Xprop Increasing the Efficiency of X-related Simulation and Debug Overview Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2014-11-07 14:41:23 Hardware verification languages Digital electronics Verilog VHDL Logic simulation Register-transfer level SystemC Logic synthesis Synopsys Electronic engineering Electronic design automation Hardware description languages
109	CTL: A Platform-Independent Crypto Tools Library Based on Dataflow Programming Paradigm (Extended Edition)? Junaid Jameel Ahmad1 , Shujun Li1,2 , Ahmad-Reza Sadeghi3,4 , and Thomas Schneider3 1 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2012-05-21 10:33:05 Cryptographic hash functions Cross-platform software Advanced Encryption Standard Reconfigurable video coding Programming paradigms Dataflow programming SHA-2 AES implementations SHA-1 Computing Electronic engineering Hardware description languages
110	Open Source Software Meets Open Source Hardware OpenCores and the OpenRISC 1000 Jeremy Bennett, CEO Embecosm Julius Baxter, OpenRISC Program Manager, OpenCores.org 17 October 2011 Add to Reading List Source URL: www.embecosm.com Language: English - Date: 2013-01-16 23:54:46 OpenRISC Hardware description languages OpenCores Verilator Embedded systems Open source Open-source hardware Linux Joint Test Action Group Electronic engineering Electronics Embedded microprocessors

UPDATE